SMT + SSM